Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
361	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
362	Microsoft Word - CoCo Seminar Series flyer Fall 2011.doc Add to Reading List Source URL: coco.binghamton.edu Language: English - Date: 2015-01-26 14:41:29 Models of computation Scientific modeling Science Agent-based model Complex systems Coco Generative Structure Systems science Complex systems theory Systems theory Multi-agent systems
363	Secure Provision and Consumption in the Internet of Services FP7-ICT, ICTTrustworthy ICT) Project Nowww.spacios.eu Add to Reading List Source URL: www.spacios.eu Language: English - Date: 2014-02-06 15:50:08 Applied mathematics Formal methods Extended finite-state machine Theory of computation Finite-state machine Algorithm Grammar induction Models of computation Theoretical computer science Computer science
364	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: langsec.org Language: English - Date: 2011-12-01 04:10:13 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
365	Modal properties of recursively defined commands Paul Blain Levy, University of Birmingham And {s.As }s∈A∗ means: A recent paper (“Seeing Beyond Divergence”, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-07-23 07:52:00 Models of computation Order theory Philosophical logic Computability theory Equivalence relation Lambda calculus Preorder Modal logic Denotational semantics Mathematics Logic Mathematical logic
366	Randomness and Universal Machines Santiago Figueira∗ Frank Stephan† Guohua Wu‡ Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2007-07-08 19:57:54 Computer science Turing machine Formal methods Models of computation Turing degree Recursively enumerable set Computability Μ-recursive function Lambda calculus Computability theory Theoretical computer science Theory of computation
367	Memory Bounded Inference in Topic Models Ryan Gomes GOMES @ VISION . CALTECH . EDU Dept. of Computation and Neural Systems, California Institute of Technology, Pasadena, CAUSA Max Welling Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-12 18:11:33 Estimation theory Expectation–maximization algorithm Missing data Mixture model Latent Dirichlet allocation Dirichlet process Time complexity Calculus of variations Statistics Theoretical computer science Statistical natural language processing
368	•i. I PROBABILISTIC LOGICS AND THE SYNTHESIS OF RELIABLE ORGANISMS FROM UNRELIABlE COMPONENTS Add to Reading List Source URL: arep.med.harvard.edu Language: English - Date: 2015-03-01 08:45:15 Logic Propositional calculus Automaton Quantum dot cellular automaton Automata theory Theory of computation Mathematical logic
369	Security Applications of Formal Language Theory Dartmouth Computer Science Technical Report TR2011-709 Len Sassaman, Meredith L. Patterson, Sergey Bratus, Michael E. Locasto, Anna Shubina Add to Reading List Source URL: langsec.org Language: English - Date: 2011-12-01 11:57:54 Mathematics Deterministic pushdown automaton Parsing Computability Context-free grammar Context-free language Formal grammar Finite-state machine Recursive language Formal languages Theoretical computer science Theory of computation

UPDATE